[IA64] fix vmx handler fault
authorawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 10 Nov 2006 18:19:51 +0000 (11:19 -0700)
committerawilliam@xenbuild.aw <awilliam@xenbuild.aw>
Fri, 10 Nov 2006 18:19:51 +0000 (11:19 -0700)
commit01924b13c224f9ba995bef716556a7ea87a6d1f2
tree19071a9e4a63da7f96f47b7b816ae2b563721b6b
parentb693fe23115b4197c28df7e77bda54dc01c90242
[IA64] fix vmx handler fault

This patch fixes the vmx fault handler to set the fault vector
number in r19.  The r19 is used to display a fault message in
dispatch_to_fault_handler().

Signed-off-by: Akio Takebe <takebe_akio@jp.fujitsu.com>
Signed-off-by: Kazuhiro Suzuki <kaz@jp.fujitsu.com>
xen/arch/ia64/vmx/vmx_ivt.S